#ifndef USERPROG_SYSCALL_H
#define USERPROG_SYSCALL_H

#include "filesys/file.h"
#include "filesys/inode.h"

void syscall_init (void);
void exit_handler (int);

#endif /* userprog/syscall.h */
